|
James Cordy
James Reginald Cordy (born January 2, 1950) is a Canadian computer scientist and educator who is Professor Emeritus in the School of Computing at Queen's University. As a researcher he is most recently active in the fields of source code analysis and manipulation, software reverse and re-engineering, and pattern analysis and machine intelligence. He has a long record of previous work in programming languages, compiler technology, and software architecture. He is best known for his work on the TXL source transformation language, a parser-based framework and functional programming language designed to support software analysis and transformation tasks originally developed with M.Sc. student Charles Halpern-Hamu in 1985 as a tool for experimenting with programming language design. His recent work on the NICAD clone detector with Ph.D. student Chanchal Roy, the Recognition Strategy Language with Ph.D. student Richard Zanibbi and Dorothea Blostein, the Cerno lightweight natural l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Toronto
The University of Toronto (UToronto or U of T) is a public research university in Toronto, Ontario, Canada, located on the grounds that surround Queen's Park. It was founded by royal charter in 1827 as King's College, the first institution of higher learning in Upper Canada. Originally controlled by the Church of England, the university assumed its present name in 1850 upon becoming a secular institution. As a collegiate university, it comprises eleven colleges each with substantial autonomy on financial and institutional affairs and significant differences in character and history. The university maintains three campuses, the oldest of which, St. George, is located in downtown Toronto. The other two satellite campuses are located in Scarborough and Mississauga. The University of Toronto offers over 700 undergraduate and 200 graduate programs. In all major rankings, the university consistently ranks in the top ten public universities in the world and as the top university ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dorothea Blostein
Dorothea Blostein (' Haken) is a Canadian computer scientist who works as a professor of computer science at Queen's University at Kingston, Queen's University. She has published well-cited publications on computer vision, image analysis, and graph rewriting, and is known as one of the authors of the master theorem (analysis of algorithms), master theorem for divide-and-conquer recurrences. Her research interests also include biomechanics and tensegrity. Blostein is the daughter of mathematician Wolfgang Haken, and while she was in high school and college she helped check her father's proof of the four color theorem. She did her undergraduate studies at the University of Illinois at Urbana–Champaign, earning a B.Sc. in 1978, and then received a master's degree from Carnegie Mellon University in 1980. She returned to the University of Illinois for her doctoral studies, completing a Ph.D. in 1987 under the supervision of Narendra Ahuja. Her husband, Steven D. Blostein, is a profes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Language Researchers
Program, programme, programmer, or programming may refer to: Business and management * Program management, the process of managing several related projects * Time management * Program, a part of planning Arts and entertainment Audio * Programming (music), generating music electronically * Radio programming, act of scheduling content for radio * Synthesizer programmer, a person who develops the instrumentation for a piece of music Video or television * Broadcast programming, scheduling content for television * Program music, a type of art music that attempts to render musically an extra-musical narrative * Synthesizer patch or program, a synthesizer setting stored in memory * "Program", an instrumental song by Linkin Park from '' LP Underground Eleven'' * Programmer, a film on the lower half of a double feature bill; see B-movie Science and technology * Computer program, a set of instructions that describes how to perform a specific task to a computer. * Computer programming, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Engineering Researchers
Software is a set of computer programs and associated documentation and data. This is in contrast to hardware, from which the system is built and which actually performs the work. At the lowest programming level, executable code consists of machine language instructions supported by an individual processor—typically a central processing unit (CPU) or a graphics processing unit (GPU). Machine language consists of groups of binary values signifying processor instructions that change the state of the computer from its preceding state. For example, an instruction may change the value stored in a particular storage location in the computer—an effect that is not directly observable to the user. An instruction may also invoke one of many input or output operations, for example displaying some text on a computer screen; causing state changes which should be visible to the user. The processor executes the instructions in the order they are provided, unless it is instructed to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Toronto Alumni
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, the designation is reserved for colleges that have a graduate school. The word ''university'' is derived from the Latin ''universitas magistrorum et scholarium'', which roughly means "community of teachers and scholars". The first universities were created in Europe by Catholic Church monks. The University of Bologna (''Università di Bologna''), founded in 1088, is the first university in the sense of: *Being a high degree-awarding institute. *Having independence from the ecclesiastic schools, although conducted by both clergy and non-clergy. *Using the word ''universitas'' (which was coined at its foundation). *Issuing secular and non-secular degrees: grammar, rhetoric, logic, theology, canon law, notarial law.Hunt Janin: "The university i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1950 Births
Year 195 ( CXCV) was a common year starting on Wednesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Scrapula and Clemens (or, less frequently, year 948 '' Ab urbe condita''). The denomination 195 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * Emperor Septimius Severus has the Roman Senate deify the previous emperor Commodus, in an attempt to gain favor with the family of Marcus Aurelius. * King Vologases V and other eastern princes support the claims of Pescennius Niger. The Roman province of Mesopotamia rises in revolt with Parthian support. Severus marches to Mesopotamia to battle the Parthians. * The Roman province of Syria is divided and the role of Antioch is diminished. The Romans annexed the Syrian cities of Edessa and Nisibis. Severus re-establ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
S/SL Programming Language
The Syntax/Semantic Language (S/SL) is an executable high level specification language for recursive descent parsers, semantic analyzers and code generators developed by James Cordy, Ric Holt and David Wortman at the University of Toronto in 1980. S/SL is a small programming language that supports cheap recursion and defines input, output, and error token names (& values), semantic mechanisms (class interfaces whose methods are really escapes to routines in a host programming language but allow good abstraction in the pseudocode) and a pseudocode program that defines the syntax of the input language by the token stream the program accepts. Alternation, control flow and one-symbol look-ahead constructs are part of the language. The S/SL processor compiles this pseudocode into a table (byte-codes) that is interpreted by the S/SL table-walker ( interpreter). The pseudocode language processes the input language in LL(1) recursive descent style but extensions allow it to process ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SP/k
SP/k is a programming language developed circa 1974 by R.C. Holt, D.B. Wortman, D.T. Barnard and J.R. Cordy as a subset of the PL/I programming language designed for teaching programming. It was used for about a decade at over 40 universities, schools, and research laboratories in Canada and the United States. SP/k was one of the first languages specifically designed to encourage structured programming. The features of SP/k were chosen to encourage structured problem solving by computers, to make the language easy to learn and use, to eliminate confusing and redundant constructs, and to make the language easy to compile. The resulting language was suitable for introducing programming concepts used in various applications, including business data processing, scientific calculations and non-numeric computation. SP/k is actually a sequence of language subsets called SP/1, SP/2, ... SP/8. Each subset introduces new programming language constructs while retaining all the constructs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid (programming Language)
{{Infobox programming language , name = Euclid , logo = , paradigm = multi-paradigm: structured, imperative, functional , year = 1970s , designer = Butler Lampson, Xerox PARC , developer = Ric Holt and James Cordy , latest_release_version = , latest release date = , typing = strong, static , implementations = , dialects = , influenced_by = Pascal , influenced = Mesa, Concurrent Euclid, Turing , operating_system = , license = , website = , file_ext = Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab in the mid-1970s. The implementation was led by Ric Holt at the University of Toronto and James Cordy was the principal programmer for the first implementation of the compiler. It was originally designed for the Motorola 6809 microprocessor. It was considered innovative for the time; the compiler development team had a $2 million budget over 2 years and was commissione ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Concurrent Euclid
Concurrent Euclid (ConEuc) is a concurrent descendant of the Euclid programming language designed by James Cordy and Ric Holt, then at the University of Toronto, in 1980. ConEuc was designed for concurrent, high performance, highly reliable system software, such as operating systems, compilers and embedded microprocessor systems. The TUNIS operating system, a Unix variant, was implemented entirely in Concurrent Euclid. ConEuc extends a core subset of Euclid with processes and monitors (as specified by C.A.R. Hoare) as well as language constructs needed for systems programming including separate compilation, variables at absolute addresses, type converters, long integers and other features. ConEuc was implemented by a small (50k bytes), fast, portable compiler that was self-compiling and had replaceable code generators. High quality code generators for several computers, including the PDP-11, VAX-11, Motorola 68000 and Motorola 6809 were developed that produced code comparable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Trento
The University of Trento (Italian: ''Università degli Studi di Trento'') is an Italian university located in Trento and nearby Rovereto. It has been able to achieve considerable results in didactics, research, and international relations according to CENSIS ( Centro Studi Investimenti Sociali ) and the Italian Ministry of Education. History The University of Trento was founded in 1962 as a Higher University Institute for Social Sciences. It then became the first Faculty of Sociology in Italy. The impact on the city was quite contradictory: the university was seen both as a motivating force for cultural openness and the creation of a new leading class, but also as a fracturing element of protest. In order to expand the educational opportunities of the University of Trento, in 1972 the Faculty of Science was founded and in 1973 so was the Faculty of Economics. The academic project was expanded in 1984 with the Faculties of Arts and Humanities and Law and in 1985 with the Faculty ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Software Engineering Researchers")
_-_09.JPG "Click for more on -> University Of Toronto Alumni")
